MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems

Abstract Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computing, due to the availability of real-time component middleware platforms. Traditional approaches to fault tolerance that rely on replication and recovery of a single server or a single host do not work in this paradigm since the fault management schemes must now account for the timely and simultaneous failover of groups of entities while improving system availability by minimizing the risk of simultaneous failures of replicated entities. This paper describes MDDPro, a model-driven dependability provisioning tool for DRE systems. MDDPro provides intuitive modeling abstractions to specify failover requirements of DRE systems at different granularities. MDDPro enables plugging in different replica placement algorithms to improve system availability. Finally, its generative capabilities automate the deployment and configuration of the DRE system on the underlying platforms

Towards a QoS Modeling and Modularization Framework for Component-based Systems

Current domain-specific modeling (DSM) frameworks for designing component-based systems provide modeling support for system’s structural as well as non-functional or quality of service (QoS) concerns. However, the focus of such frameworks on system’s non-functional concerns is an after-thought and their support is at best adhoc. Fur-ther, such frameworks lack strong decoupling between the modeling of the system’s structural composition and their QoS requirements. This lack of QoS modularization limits (1) reusability of such frameworks, (2) ease of their mainte-nance when new non-functional characteristics are added, and (3) independent evolution of the modeling frameworks along both the structural and non-functional dimensions. This paper describes Component QoS Modeling Lan-guage (CQML), which is a reusable, extensible, and platform-independent QoS modeling language that pro-vides strong separation between the structural and non-functional dimensions. CQML supports independent evolu-tion of structural metamodel of composition modeling lan-guages as well as QoS metamodel. To evaluate, we superim-pose CQML on a purely structural modeling language and automatically generate, configure, and deploy component-based fault-monitoring infrastructure using aspect-oriented modeling (AOM) techniques.

MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems

Abstract—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of dependability, such as predictability, availability, and security. In component-based systems, these challenges are exacerbated since the tradeoffs must faithfully be reflected within the complex metadata descriptors used to compose, deploy and configure the system. The benefits of design-time approaches to address these problems are well-understood. Existing model-driven designtime tools for developing dependable systems, however, focus largely on only one dependability attribute at a time and lack of extensibility results in rigid and hard to maintain tool support. This paper describes MoPED (Model-based Provisioning Engine for Dependability), which is a model-driven framework that unifies reasoning about predictability, availability, and security requirements for developing dependable component-based DRE systems. We evaluate the capabilities of MoPED using a representative case study and show how it alleviates complexities in the design of dependable systems and reduces manual efforts in the deployment phase by an order of magnitude. I

Towards A QoS Modeling and Modularization Framework for Component-based Systems

Abstract Current domain-specific modeling (DSM) frameworks for designing component-based systems provide modeling support for system's structural as well as non-functional or quality of service (QoS) concerns. However, the focus of such frameworks on system's non-functional concerns is an after-thought and their support is at best adhoc. Further, such frameworks lack strong decoupling between the modeling of the system's structural composition and their QoS requirements. This lack of QoS modularization limits (1) reusability of such frameworks, (2) ease of their maintenance when new non-functional characteristics are added, and (3) independent evolution of the modeling frameworks along both the structural and non-functional dimensions. This paper describes Component QoS Modeling Language (CQML), which is a reusable, extensible, and platform-independent QoS modeling language that provides strong separation between the structural and nonfunctional dimensions. CQML supports independent evolution of structural metamodel of composition modeling languages as well as QoS metamodel. To evaluate, we superimpose CQML on a purely structural modeling language and automatically generate, configure, and deploy componentbased fault-monitoring infrastructure using aspect-oriented modeling (AOM) techniques

to appear). Model-driven engineering for development-time QoS validation of component-based software systems

Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of largescale component-based systems. One such concern lacking significant research deals with the validation of quality-of-service (QoS) properties of componentbased systems throughout their development lifecycle instead of waiting until system integration time, which is very late and can be detrimental to project schedules and costs. This paper describes our novel MDE-based solution to address this challenge. At the core of our solution approach are (1) a set of domain-specific modeling languages that allow us to mimic component “business logic, ” and (2) a generative programming framework that synthesizes empirical benchmarking code for system emulation and continuous QoS evaluation

April, 2014Scalable Reactive Stream Processing Using DDS and Rx

Abstract. Event-driven design is fundamental to developing resilient, responsive, and scalable reactive systems as it supports asynchrony and loose coupling. The OMG Data Distribution Service (DDS) is a proven event-driven technology for building data-centric reactive systems because it provides the primitives for decoupling system components with respect to time, space, quality-of-service, and behavior. DDS, by design, supports distribution scalability. However, with increasing core count in CPUs, building multicore-scalable reactive systems remains a challenge. Towards that end, we investigate the use of Functional Reactive Programming (FRP) for DDS applications. Specifically, this paper presents our experience in integrating and evaluating Microsoft.NET Reactive Extensions (Rx) as a programming model for DDS-based reactive stream processing applications. We used a publicly available challenge problem involving real-time complex analytics over high-speed sensor data captured during a soccer game. We compare the FRP solution with an imperative solution we implemented in C++11 along several dimensions including code size, state management, concurrency model, event synchronization, and fitness for the purpose of “stream processing. ” Our experience suggests that DDS and Rx together provide a powerful infrastructure for reactive stream processing, which allows declarative specification of concurrency and therefore dramatically simplifies multicore scalability.

AN EVENT DRIVEN FRAMEWORK FOR SOFTWARE MONITORING BY

has been approved and accepted by the following